CommonKADS Models for Knowledge Based Planning Authors

The CommonKADS methodology is a collection of structured methods for build ing knowledge based systems A key component of CommonKADS is the library of generic inference models which can be applied to tasks of speci ed types These generic models can either be used as frameworks for knowledge acquisition or to verify the completeness of models developed by analysis of the domain However the generic models for some task types such as knowledge based planning are not well developed Since knowledge based planning is an important commercial application of Arti cial Intelligence there is a clear need for the development of generic models for planning tasks Many of the generic models which currently exist have been derived from mod elling of existing AI systems These models have the strength of proven applicability There are a number of well known and well tried AI planning systems in existence one of the best known is the Open Planning Architecture O Plan This paper de scribes the development of a CommonKADS generic inference model for knowledge based planning tasks based on the capabilities of the O Plan system The paper also brie y describes the veri cation of this model in the context of a real life planning task the assignment and management of RAF Search and Rescue operations